@MastersThesis{Corsetti:2014:ApMeTe,
author = "Corsetti, Andr{\'e}",
title = "Aplica{\c{c}}{\~a}o de metodologias de teste baseado em modelos
na verifica{\c{c}}{\~a}o e valida{\c{c}}{\~a}o de mecanismos
de FDIR de sistemas de controle de atitude e {\'o}rbita",
school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
year = "2014",
address = "S{\~a}o Jos{\'e} dos Campos",
month = "2014-06-27",
keywords = "CoFI, InRob, teste baseado em modelos, AOCS, FDIR. CoFI, InRob,
model based testing, AOCS, FDIR.",
abstract = "Sistemas de controle de atitude e {\'o}rbita s{\~a}o sistemas
complexos e cr{\'{\i}}ticos para realiza{\c{c}}{\~a}o da
miss{\~a}o de sat{\'e}lites, contendo a parte central de sua
l{\'o}gica implementada em software. Cabe ao software lidar com
quest{\~o}es de falhas de todos os equipamentos envolvidos no
sistema de controle, o qual consiste de sensores, atuadores e
computador de bordo, e do pr{\'o}prio software. A capacidade de
se recuperar de falhas influencia fortemente a vida operacional do
sat{\'e}lite com possibilidades desde morte pr{\'e} matura
at{\'e} extens{\~a}o da sua vida {\'u}til. Os mecanismos de
detec{\c{c}}{\~a}o, isolamento e recupera{\c{c}}{\~a}o de
falhas (FDIR) s{\~a}o respons{\'a}veis por detectar e tratar as
poss{\'{\i}}veis falhas, e a verifica{\c{c}}{\~a}o e
valida{\c{c}}{\~a}o destes mecanismos se posta como um grande
desafio visto a complexidade do software, a dimens{\~a}o do
sistema, e dos esfor{\c{c}}os da atividade, al{\'e}m da
qualidade exigida do sistema de software cr{\'{\i}}tico.
Metodologias de teste baseado em modelos visam padronizar os
processos de teste, normatizando-os tanto em termos de qualidade
dos testes quanto em termos de esfor{\c{c}}os requeridos nas
atividades de teste. Duas metodologias de teste baseado em
modelos, denominadas CoFI e InRob, desenvolvidas no
dom{\'{\i}}nio de sistemas espaciais, s{\~a}o estudadas e
avaliadas no escopo desse trabalho quanto a suas aplicabilidades
em sistemas de controle de atitude e {\'o}rbita de
sat{\'e}lites. O trabalho utilizou-se de uma an{\'a}lise
te{\'o}rica das metodologias frente a exig{\^e}ncias de teste da
{\'a}rea espacial, e de um experimento pr{\'a}tico, no qual as
metodologias foram aplicadas em um prot{\'o}tipo de sistema de
controle de atitude e {\'o}rbita. Para este experimento a
elicita{\c{c}}{\~a}o de requisitos a serem validados e a
implementa{\c{c}}{\~a}o do prot{\'o}tipo foram
necess{\'a}rias. A conclus{\~a}o do estudo aponta forte
contribui{\c{c}}{\~a}o das metodologias CoFI e InRob como guia
para a constru{\c{c}}{\~a}o de modelos comportamentais
representativos de um sistema de controle de atitude e
{\'o}rbita, quando mecanismos de FDIR s{\~a}o devidamente
considerados nos modelos. ABSTRACT: Attitude and orbit control
systems are complex and critic systems for satellite mission
execution, and they contain the central part of its logic
implemented in software. The software needs to deal with fault
issues of all control system related equipment, namely sensors,
actuators, the onboard computer, and also the software itself. The
capacity of recovering from faults is a major factor in the
satellites operational life span, with possibilities of pre mature
death to mission time extension. The FDIR mechanisms are
responsible for detecting and recovering the fault issues raised
in operation. The verification and validation of these mechanisms
pose a great challenge, because of software complexity, system
dimension, effort necessary by the activity, and the required
quality of the critic software product. Model based testing
methodologies aim to standardize the test process, normalizing
tests quality and also the activity effort. Two model based
testing methodologies, named CoFI and InRob, developed inside the
area of space systems are studied and evaluated by its
applicability in satellites attitude and orbit control systems.
The study used analysis of the theoretical capacities of the
methodologies compared with the requirements for testing from the
space area, and realized a practical experiment, applying the two
methodologies in an attitude and orbit control system prototype.
For this experiment to be carried out, system requirements
elicitation and the implementation of an attitude and orbit
control system prototype were necessary. The conclusion of the
study shows strong contribution of the methodologies CoFI and
InRob in guiding the construction of representative behavioral
models of the attitude and orbit control system, when FDIR
mechanisms are adequately considered in the models.",
committee = "Branco, Marcio Silva Alves (presidente) and Ambrosio, Ana Maria
(orientadora) and Francisco, Maria de F{\'a}tima Mattiello
(orientadora) and Oliveira, Jos{\'e} Maria Parente de",
englishtitle = "Aplication of model based test methodologies in verification and
validation of FDIR mechanisms of attitude and orbit control
systems",
language = "pt",
pages = "171",
ibi = "8JMKD3MGP5W34M/3GAMHC5",
url = "http://urlib.net/ibi/8JMKD3MGP5W34M/3GAMHC5",
targetfile = "publicacao.pdf",
urlaccessdate = "27 abr. 2024"
}